<div class="tabs">
 <a class="tab" id="options_tab" title="$PROGRAM configuration options."
    href="options.html">
  &#9941; REQRYPT
 </a>
 <a class="tab" id="log_tab" title="$PROGRAM log." href="log.html">
  LOG
 </a>
 <a class="tab" id="help_tab" title="$PROGRAM help." href="help.html">
  HELP
 </a>
 <a class="tab" id="license_tab" title="$PROGRAM license information."
    href="license.html">
  LICENSE
 </a>
 <a class="tab exit" onClick="exit()" title="$PROGRAM exit.">&#10006;</a>
</div>
